- 邏輯完備性
- logic: n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
- completeness: 完備性; 完成度; 完全程度; 完全度; 完全性; 完善度; 完整性
- absolute completeness: 絕對完全性; 絕對完整性
- actual completeness: 實際完備性
- axiom of completeness: 完備性公理
下載手機詞典可隨時隨地查詞查翻譯
logic completeness中文什么意思
- 邏輯完備性
下載手機詞典可隨時隨地查詞查翻譯
例句與用法
- Another important problem in multiple - valued logic completeness theory is decision for sheffer functions , which reduced to determining the minimal covering of precomplete classes in multiple - valued logic
多值邏輯完備性理論中的另一重要問題是sheffer函數的判定問題，此問題可歸結為定出所有極大封閉集(準完備集)的最小覆蓋。 - Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic . based on a series of propositions and lemmas , the completeness of the negotiation logic is proved by construction . then the logic completeness and the consistency of ctn system are presented
在對公理的有效性進行證明之后，證明了協商推理邏輯的可靠性和無矛盾性；在得出的一系列命題和引理基礎上，以構造的方法證明了協商推理邏輯的完全性，最后得出協商推理邏輯的完備性和整個ctn系統的無矛盾性。